Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference
نویسندگان
چکیده
We develop a clausal resolution-based approach for computing uniform interpolants of TBoxes formulated in the description logic ALC when such uniform interpolants exist. We also present an experimental evaluation of our approach and of its application to the logical difference problem for real-life ALC ontologies. Our results indicate that in many practical cases uniform interpolants exist and that they can be computed with the presented algorithm.
منابع مشابه
Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes
We develop a clausal resolution-based approach for computing uniform interpolants of TBoxes formulated in the description logicALC when such uniform interpolants exist. We also present an experimental evaluation of our approach and its applications to concept forgetting, ontology obfuscation and logical difference on real-life ALC ontologies. Our results indicate that in many practical cases a ...
متن کاملUniform Interpolation and Forgetting for ALC Ontologies with ABoxes
Uniform interpolation and the dual task of forgetting restrict the ontology to a specified subset of concept and role names. This makes them useful tools for ontology analysis, ontology evolution and information hiding. Most previous research focused on uniform interpolation of TBoxes. However, especially for applications in privacy and information hiding, it is essential that uniform interpola...
متن کاملUniform Interpolation and Forgetting for ALC Ontologies with ABoxes - Long Version
Uniform interpolation and the dual task of forgetting restrict the ontology to a specified subset of concept and role names. This makes them useful tools for ontology analysis, ontology evolution and information hiding. Most previous research focused on uniform interpolation of TBoxes. However, especially for applications in privacy and information hiding, it is essential that uniform interpola...
متن کاملForgetting Concept and Role Symbols in ALCH-Ontologies
We develop a resolution-based method for forgetting concept and role symbols in ALCH ontologies, or for computing uniform interpolants in ALCH. Uniform interpolants use only a restricted set of symbols, while preserving logical consequences of the original ontology involving these symbols. While recent work towards practical methods for uniform interpolation in expressive description logics lim...
متن کاملForgetting Concept and Role Symbols in ALCOIHµ+(∇, ⊓)-Ontologies
We develop a resolution-based method for forgetting concept and role symbols in ALCH ontologies, or for computing uniform interpolants in ALCH. Uniform interpolants use only a restricted set of symbols, while preserving logical consequences of the original ontology involving these symbols. While recent work towards practical methods for uniform interpolation in expressive description logics lim...
متن کامل